Metareasoning: A Manifesto

نویسندگان

  • Michael T. Cox
  • Anita Raja
چکیده

The 21st century is experiencing a renewed interest in an old idea within artificial intelligence that goes to the heart of what it means to be both human and intelligent. This idea is that much can be gained by thinking about one's own thinking. Traditionally within cognitive science and artificial intelligence, thinking or reasoning has been cast as a decision cycle within an actionperception loop similar to that shown in Figure 1. An intelligent agent perceives some stimuli from the environment and behaves rationally to achieve its goals by selecting some action from its set of competencies. The result of these actions at the ground level is subsequently perceived at the object level and the cycle continues. Metareasoning is the process of reasoning about this reasoning cycle. It consists of both the meta-level control of computational activities and the introspective monitoring of reasoning (see Figure 2). This cyclical arrangement represents a higher-level reflection of the standard action-perception cycle, and as such, it represents the perception of reasoning and its control.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ideal Partition of Resources for Metareasoning∗

We can achieve significant gains in the value of computation by metareasoning about the nature or extent of base-level problem solving before executing a solution. However, resources that are irrevocably committed to metareasoning are not available for executing a solution. Thus, it is important to determine the portion of resources we wish to apply to metareasoning and control versus to the ex...

متن کامل

Learning to select computations

Efficient use of limited computational resources is essential to intelligence. Selecting computations optimally according to rational metareasoning would achieve this, but rational metareasoning is computationally intractable. Inspired by psychology and neuroscience, we propose the first learning algorithm for approximating the optimal selection of computations. We derive a general, sample-effi...

متن کامل

Metareasoning for Planning Under Uncertainty

The conventional model for online planning under uncertainty assumes that an agent can stop and plan without incurring costs for the time spent planning. However, planning time is not free in most realworld settings. For example, an autonomous drone is subject to nature’s forces, like gravity, even while it thinks, and must either pay a price for counteracting these forces to stay in place, or ...

متن کامل

Learning from Texts -a Terminological Metareasoning Perspective Learning from Texts -a Terminological Metareasoning Perspective Learning from Texts -a Terminological Metareasoning Perspective

We introduce a methodology for concept learning from texts that relies upon second-order reasoning about statements expressed in a ((rst-order) terminological representation language. This metareasoning approach allows for quality-based evaluation and selection of alternative concept hypotheses. Abstract We introduce a methodology for concept learning from texts that relies upon second-order re...

متن کامل

Formalizing and Proving Semantic Relations between Specifications by Reflection

This work contains both a theoretical development and a novel application of ideas introduced in [1] for using reflection in formal metareasoning. From the theoretical side, we extend the metareasoning principles proposed in [1] to cover the case of metatheorems about equational theories which are unrelated by the inclusion relation. From the practical side, we apply the newly introduced metare...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007